| Ident. | Authors (with country if any) | Title |
|---|
| 001531 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France] | Narrowing Based Inductive Proof Search |
| 001E34 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | Formal Specification and Validation of Security Policies |
| 002805 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 002C33 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | Rule-based Specification and Analysis of Security Policies |
| 002D93 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | On Formal Specification and Analysis of Security Policies |
| 002E32 |
Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 002E93 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France] | Extensional and Intensional Strategies |
| 003743 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of Rewriting under Strategies |
| 003942 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France] | Inductive proof search modulo |
| 003A32 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003C48 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 003C61 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Modeling reducibility on ground terms using constraints |
| 003E43 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003F00 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Biochemical Calculus Based on Strategic Graph Rewriting |
| 003F50 |
Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Analysis of Rewrite-Based Access Control Policies |
| 004075 |
Oana Andrei [France] ; Hélène Kirchner [France] | Strategic Port Graph Rewriting for Autonomic Computing |
| 004598 |
Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 004670 |
Anderson Santana De Oliveira [France] ; Eric Ke Wang ; Claude Kirchner [France] ; Hélène Kirchner [France] | Weaving Rewrite-Based Access Control Policies |
| 004724 |
Oana Andrei [France] ; Hélène Kirchner [France] | Graph Rewriting and Strategies for Modeling Biochemical Networks |
| 004759 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Inductive Proof Search Modulo |
| 004852 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Rewriting Calculus for Multigraphs with Ports |
| 004913 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations |
| 004F53 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005067 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs |
| 005084 |
Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive formal methods and strategic rewriting for a chemical application |
| 005194 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
| 005228 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting under strategies: a generic approach |
| 005431 |
Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
| 005793 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version - |
| 005888 |
Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
| 005923 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 005A43 |
Olivier Bournez [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | From Chemical Rules to Term Rewriting |
| 005A76 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Anderson Santana De Oliveira [France] | Anchoring modularity in HTML. |
| 006319 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A Proof of Weak Termination Providing the Right Way to Terminate |
| 006466 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 006B37 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-Based Programming and Proving: The ELAN Experience Outcomes |
| 006E95 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: the ELAN experience outcomes |
| 006F07 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - Extended version - |
| 007098 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A proof of weak termination providing the right way to terminate |
| 007195 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Simplification and Termination of Strategies in Rule-Based Languages |
| 007220 |
Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang-Huy Nguyen [France] | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007254 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007256 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007441 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 007A08 |
Eric Deplagne ; Claude Kirchner ; Hélène Kirchner [France] ; Quang Huy Nguyen | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007A93 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007B15 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007C24 |
Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5 |
| 007C25 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 |
| 007C55 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Innermost sufficient completeness |
| 007D40 |
Mohamed El Habib ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] | The QSL platform at LORIA |
| 007D43 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of ELAN strategies by simplification - Extended version - |
| 007D66 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate |
| 007D67 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - extended version - |
| 007E55 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction |
| 007F45 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies |
| 007F74 |
Hubert Dubois [France] ; Hélène Kirchner [France] | An algebraic semantics for objects in a rule-based language |
| 007F75 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Algebraic Methodology And Software Technology |
| 008044 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Object Programming in a Rule-Based Language with Strategies |
| 008914 |
Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
| 008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 008970 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3 |
| 008971 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2 |
| 008A91 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 008A92 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination - Extended version |
| 008B25 |
Isabelle Gnaedig [France] ; Olivier Fissore [France] ; Hélène Kirchner [France] | Induction for weak termination |
| 008B44 |
Quang-Huy Nguyen [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | External rewriting for skeptical proof assistants (extended version) |
| 008B73 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
| 008E10 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 009180 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories |
| 009195 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies |
| 009488 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1 |
| 009597 |
Hélène Kirchner [France] | Prototyping and verfication with rules and strategies |
| 009638 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies - Extended version - |
| 009639 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for innermost and outermost ground termination |
| 009807 |
Hélène Kirchner [France] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 009D07 |
Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategy Proofs in ELAN |
| 009D55 |
Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Controlling Rewriting by Rewriting |
| 009D69 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | A reflective extension of ELAN |
| 009F04 |
Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
| 00A133 |
Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategies--Proofs in ELAN |
| 00A148 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rules, strategies and objects in ELAN |
| 00A179 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Objects, rules and strategies in ELAN |
| 00A207 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for termination |
| 00A218 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Frontiers of Combining Systems |
| 00A373 |
Hélène Kirchner [France] ; Peter D. Mosses | Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models |
| 00A467 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 00AB94 |
Hélène Kirchner [France] | ELAN |
| 00AC19 |
Hélène Kirchner [France] | Term Rewriting |
| 00AC36 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rule Based Programming with Constraints and Strategies |
| 00AC37 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rule Based Programming with Constraints & Strategies |
| 00AC75 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Modelling Planning Problems with Rules & Strategies |
| 00AC92 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Thomas Genet | Induction for Termination |
| 00AD15 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00AD21 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from the rewriting logic point of view |
| 00AD55 |
Maura Cerioli ; Martin Gogolla ; Hélène Kirchner [France] ; Bernd Krieg-Brückner ; Zhenyu Qian ; Markus Wolf | Algebraic System Specification and Developement:Survey and Annotated Bibliography |
| 00B269 |
Peter Borovansk ; Claude Kirchner ; Hélène Kirchner [France] ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B397 |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 00B402 |
Pierre-Etienne Moreau [France] ; Hélène Kirchner [France] | A compiler for rewrite programs in associative-commutative theories |
| 00B552 |
Hélène Kirchner [France] | Trees in Algebra and Programming |
| 00B587 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language |
| 00B608 |
Hélène Kirchner [France] | Orderings in Automated Theorem Proving |
| 00B618 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | Non-deterministic computations in ELAN |
| 00B687 |
Claude Kirchner [France] ; Hélène Kirchner | Automated Deduction - CADE-15 |
| 00B695 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
| 00B701 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Actions & Plans in ELAN |
| 00B708 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | A functional view of rewriting and strategies for a semantics of ELAN |
| 00B723 |
Pierre-Etienne Moreau [France] ; Hélène Kirchner [France] | A Compiler for Rewrite Programs in Associative-Commutative Theories |
| 00C033 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | R n - and G n -logics |
| 00C081 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
| 00C703 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Sort inheritance for order-sorted equational presentations |
| 00C704 |
Hélène Kirchner [France] | Some extensions of rewriting |
| 00C717 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau | Prototyping completion with constraints using computational systems |
| 00C724 |
Hélène Kirchner [France] | On the use of constraints in automated deduction |
| 00CD30 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00CD92 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Claude Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00DA47 |
Hélène Kirchner [France] | Proofs in parameterized specifications |
| 00DA59 |
Hélène Kirchner [France] ; Miki Hermann [France] | Meta-rule synthesis from crossed rewrite systems |
| 00DE70 |
Claude Kirchner [France] ; Hélène Kirchner ; Michaël Rusinowitch | Deduction with symbolic constraints |
| 00E343 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
| 00E348 |
Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France] | OBJ: Programming with equalities, subsorts, overloading and parameterization |
| 00E358 |
Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Equational completion in order-sorted algebras extended abstract |
| 00E599 |
Hélène Kirchner [France] | Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes |
| 00EA42 |
Pierre Rety [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre Lescanne [France] | NARROWER: a new algorithm for unification and its application to Logic Programming |
| 00EA44 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Implementation of a general completion procedure parameterized by built-in theories and strategies |
